Logic in computer science - modelling and reasoning about systems
- Författare
- Mark Ryan Michael Huth
- (Michael Huth, Mark Ryan.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge Univ. Press | 2004 | Storbritannien, Cambridge | xiv, 427 sidor. ill. | 978-0-521-54310-1 |
| Cambridge University Press | 2000 | Storbritannien, Cambridge | 387 sidor. ill. 25cm |